Dataflow analysis for interrupt-driven microcontroller software
نویسنده
چکیده
Pointer Domain Concurrency Analyzer Callgraph ptranal CIL extension
منابع مشابه
Optimizing Interrupt-Driven Embedded Software
Software for embedded microcontroller units (MCUs) represents both an interesting opportunity and a difficult challenge for compiler optimization. Since these systems tend to be small—often limited to a few KB of on-chip RAM—highly aggressive techniques are feasible and worthwhile. On the other hand, the effectiveness of traditional dataflow analyses is limited by their inability to cope with i...
متن کاملImplementation of an Interrupt-Driven OSEK Operating System Kernel on an ARM Cortex-M3 Microcontroller
An operating system usually distinguishes between threads managed by a software scheduler and interrupt service routines, scheduled and dispatched by an interrupt controller. This paradigm has inherent problems for real-time systems as low-priority interrupt routines can interrupt high-priority threads. The Sloth concept proposes to overcome this issue by implementing both interrupt handlers an...
متن کاملTool-Supported Dataflow Analysis of a Security-Critical Embedded Device
Defence organisations perform information security evaluations to confirm that electronic communications devices are safe to use in security-critical situations. Such evaluations include tracing all possible dataflow paths through the device, but this process is tedious and error-prone, so automated reachability analysis tools are needed to make security evaluations faster and more accurate. Pr...
متن کاملMedusa: Managing Concurrency and Communication in Embedded Systems
Microcontroller systems are almost always concurrent, event-driven systems. They monitor external events and control actuators. Typically, these systems are written in C with very little support from system software. The concurrency in these applications is implemented with hand-coded interrupt routines. Race conditions and other classic pitfalls of implementing parallel systems in shared-state...
متن کاملReduced Instruction Set Computing Technology Microcontroller Based Proactive Health Monitoring System
A Micro-controller-based physiological sensing unit has been designed, prototyped, and field-tested for recording galvanic skin response data and relaying them to a computer for physiological analysis. Focusing on system design issues concerning battery-driven ambulatory applications, this paper presents a special data compression algorithm based on relative encoding to optimize memory utilizat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007